
package scripting;

public interface PortalScript {
	public void enter(PortalPlayerInteraction ppi);
}